MIT Press - PDFSEARCH.IO - Document Search Engine

MIT Press
Results: 687

#	Item
271	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 11 Satisfiability Coding Lemma ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-20 22:53:43 NP-complete problems Conjunctive normal form Combinatorics Boolean satisfiability problem String Permutation PP 2-satisfiability MAX-3SAT Theoretical computer science Mathematics Computational complexity theory
272	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 10 Self-stabilizing Distributed Constraint Satisfaction ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-21 01:31:44 Computing Local consistency Constraint satisfaction Self-stabilization Distributed computing Constraint graph Scheduling Backtracking Search algorithm Constraint programming Software engineering Computer programming
273	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
274	PROPERTY OF MIT PRESS: FOR PROOFREADING AND INDEXING PURPOSES ONLY 8 Visual Cognitive Adventures of Single Neurons in the Human Medial Temporal Lobe Florian Mormann, Matias J. Ison, Rodrigo Quian Quiroga, Christof Koch, Add to Reading List Source URL: klab.tch.harvard.edu Language: English - Date: 2014-06-20 16:36:30 Cerebrum Neuroanatomy Limbic system Neuroimaging Hippocampus Anterograde amnesia Primary auditory cortex Visual cortex Entorhinal cortex Brain Anatomy Cognitive science
275	PROPERTY OF MIT PRESS: FOR PROOFREADING AND INDEXING PURPOSES ONLY 6 Data Analysis Techniques for Human Microwire Recordings: Spike Detection and Sorting, Decoding, Relation between Neurons and Local Field Potentials Add to Reading List Source URL: klab.tch.harvard.edu Language: English - Date: 2014-06-20 16:35:20 Neuroscience Nervous system Spike sorting Single-unit recording Waveform Tetrode Action potential Neuron Local field potential Electrophysiology Biology Neurophysiology
276	PROPERTY OF MIT PRESS: FOR PROOFREADING AND INDEXING PURPOSES ONLY 17 Human Single Unit Activity for Reach and Grasp Motor Prostheses Arjun K. Bansal Add to Reading List Source URL: klab.tch.harvard.edu Language: English - Date: 2014-06-20 16:34:14 Neuroscience Cerebrum Motor system Neuroanatomy Neurophysiology Single-unit recording Brain–computer interface Visual cortex Motor cortex Nervous system Anatomy Biology
277	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 6 Hopfield Neural Networks and Self-Stabilization ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:16:40 Networks Hopfield network Science Mind Self-stabilization John Hopfield Storage Attractor network Neural networks Computational neuroscience Cybernetics
278	PROPERTY OF MIT PRESS: FOR PROOFREADING AND INDEXING PURPOSES ONLY IV CONCLUSIONS Add to Reading List Source URL: klab.tch.harvard.edu Language: English - Date: 2014-06-20 16:37:05 Neurophysiology Cognition Neural networks Philosophy of mind Mirror neuron Neural correlates of consciousness Epilepsy Biological neural network Neural correlate Mind Biology Neuroscience
279	PRECAUTIONARY TOOLS FOR RESHAPING ENVIRONMENTAL POLICY Nancy Myers and Carolyn Raffensperger Submitted to MIT Press April 2004 Add to Reading List Source URL: www.sehn.org Language: English - Date: 2004-06-03 01:54:44 United Nations Framework Convention on Climate Change Ethics Risk European Union law Precautionary principle
280	13 Hop, Skip, and Jump Copyright c 1995 by The MIT Press. Draft: September 19, 1995 { 19 :18 Add to Reading List Source URL: www.ccs.neu.edu Language: English The Intersect Scheme Call-with-current-continuation Function Computing Mathematics Software engineering Null

UPDATE